Développement d'un générateur de type Blumlein pour des sources EUV à décharges capillaires rapides

Vers l'utilisation des méthodes formelles pour le développement de linguiciels

A b s t r a c t Formal methods have'nt been applied enough in the development process of lingware although their advantages have been proved in many other domains. In this framework, we have investigated some applications dealing with different processing levels (lexical analyses, morphology, syntax, semantic and pragmatic). These investigations has mainly led to the following observations. Fir...

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Un framework de traçabilité pour des transformations à caractère impératif

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Une assistance pour l'évolution des logiciels à base de composants

Among all the stages which constitute the maintenance process, the comprehension of an application before its evolution, and regression testing after its evolution are by far the most expensive. We present an approach which helps to reduce the costs associated with these two stages for component-based software. It proposes to formally document at each stage of the software life cycle the links ...

Pii: S1631-0705(02)01414-7

The development of atmospheric lightning is initiated and sustained by the formation in virgin air of ‘streamer corona’ and ‘leader’ discharges, very similar to those observed in laboratory long sparks. Therefore, the experimental and theoretical investigations of these laboratory discharges have become of large interest to improve the physical knowledge of the lightning process and to develop ...